Space Classes, Intersection of Languages and Bounded Erasing Homomorphisms

نویسنده

  • Andreas Brandstädt
چکیده

— We characterize space complexity classes in terms of bounded erasing homomorphisms applied to threefoid intersections of one-counter languages, and also we characterize the classes which are given by bounded erasing homomorphisms applied to mixed intersections of one-counter languages and context-free languages or one-counter languages and checking stack languages. A generalization to erasing bounded transducers is made. Résumé. -On caractérise les classes de complexité spatiale en termes d'homomorphismes à effacement borné appliqués à des intersections de trois langages à un compteur. On caractérise également les classes obtenues en appliquant des homomorphismes à effacement borné à des intersections de langages à un compteur avec des langages algébriques {context-free) ou à des intersections de langages à un compteur avec des langages vérifiables (checking stack). On donne aussi une généralisation aux transducteurs à effacement borné.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Decision Problems for Non-regular Languages

We begin with studying closure properties of language classes. Informally, a closure property of a languages class C states that a certain type of transformation applied to languages in C always yields languages that belong to C as well. Examples for such transformations are: (i) Homomorphisms α : X∗ → Y ∗. They transform a language L ⊆ X∗ into the language α(L) = {α(w) | w ∈ L}. (ii) Inverse h...

متن کامل

Homomorphisms on Topological Groups from the Perspective of Bourbaki-boundedness

In this note we study some topological properties of bounded sets and Bourbaki-bounded sets. Also we introduce two types of Bourbaki-bounded homomorphisms on topological groups  including, n$-$Bourbaki-bounded homomorphisms and$hspace{1mm}$ B$-$Bourbaki-bounded homomorphisms. We compare them to each other and with the class of continuous homomorphisms. So, two topologies are presented on them a...

متن کامل

A Certain Class of Character Module Homomorphisms on Normed Algebras

For two normed algebras $A$ and $B$ with the character space   $bigtriangleup(B)neq emptyset$  and a left $B-$module $X,$  a certain class of bounded linear maps from $A$ into $X$ is introduced. We set $CMH_B(A, X)$  as the set of all non-zero $B-$character module homomorphisms from $A$ into $X$. In the case where $bigtriangleup(B)=lbrace varphirbrace$ then $CMH_B(A, X)bigcup lbrace 0rbrace$ is...

متن کامل

Completeness in Probabilistic Metric Spaces

The idea of probabilistic metric space was introduced by Menger and he showed that probabilistic metric spaces are generalizations of metric spaces. Thus, in this paper, we prove some of the important features and theorems and conclusions that are found in metric spaces. At the beginning of this paper, the distance distribution functions are proposed. These functions are essential in defining p...

متن کامل

A predicate for separating language classes

We show how a predicate can be used to separate language classes It has been a long-standing open problem whether appearance checking enhances the power of programmed grammars or not. By now, two independent complicated proofs appeared for the separation result in question 4, 3]. In this note, we present another decidability argument which readily implies the above-mentioned result and is also ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • ITA

دوره 17  شماره 

صفحات  -

تاریخ انتشار 1983